[next] [prev] [prev-tail] [tail] [up]

2.2.25 Integrals 2401 to 2500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 21 14 98 16 17 15 13

N.S.

1 1.00 1.11 0.74 5.16 0.84 0.89 0.79 0.68

time (sec)

N/A 0.149 0.022 0.029 0.197 0.307 0.269 0.286 0.040

Problem 2402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 21 14 149 16 17 15 13

N.S.

1 1.00 1.11 0.74 7.84 0.84 0.89 0.79 0.68

time (sec)

N/A 0.155 0.022 0.031 0.204 0.277 0.346 0.278 5.885

Problem 2403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 36 34 25 26 24 31 24 24

N.S.

1 1.06 1.00 0.74 0.76 0.71 0.91 0.71 0.71

time (sec)

N/A 0.184 0.036 6.155 0.207 0.259 0.345 0.269 0.050

Problem 2404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 36 34 25 26 24 31 24 24

N.S.

1 1.06 1.00 0.74 0.76 0.71 0.91 0.71 0.71

time (sec)

N/A 0.188 0.024 3.877 0.203 0.263 0.252 0.266 0.041

Problem 2405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 36 34 25 26 24 31 24 24

N.S.

1 1.06 1.00 0.74 0.76 0.71 0.91 0.71 0.71

time (sec)

N/A 0.187 0.021 6.006 0.211 0.274 0.167 0.279 0.052

Problem 2406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 36 34 25 26 24 31 24 24

N.S.

1 1.06 1.00 0.74 0.76 0.71 0.91 0.71 0.71

time (sec)

N/A 0.183 0.022 6.158 0.201 0.247 0.113 0.274 0.051

Problem 2407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 25 14 21 21 24 21 21

N.S.

1 1.00 1.56 0.88 1.31 1.31 1.50 1.31 1.31

time (sec)

N/A 0.144 0.017 3.682 0.199 0.256 0.072 0.260 0.041

Problem 2408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 34 27 23 22 31 27 24 28

N.S.

1 1.21 0.96 0.82 0.79 1.11 0.96 0.86 1.00

time (sec)

N/A 0.182 0.046 3.710 0.192 0.248 0.180 0.283 6.006

Problem 2409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 36 34 25 47 27 29 26 24

N.S.

1 1.12 1.06 0.78 1.47 0.84 0.91 0.81 0.75

time (sec)

N/A 0.183 0.033 6.196 0.212 0.259 0.234 0.261 0.048

Problem 2410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 36 34 25 97 27 32 26 24

N.S.

1 1.06 1.00 0.74 2.85 0.79 0.94 0.76 0.71

time (sec)

N/A 0.181 0.034 3.614 0.200 0.244 0.304 0.296 0.044

Problem 2411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 36 34 25 149 27 32 26 24

N.S.

1 1.06 1.00 0.74 4.38 0.79 0.94 0.76 0.71

time (sec)

N/A 0.179 0.032 13.006 0.200 0.275 0.393 0.279 5.928

Problem 2412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 43 36 37 35 42 35 35

N.S.

1 1.04 0.91 0.77 0.79 0.74 0.89 0.74 0.74

time (sec)

N/A 0.205 0.023 3.676 0.197 0.249 0.393 0.273 0.053

Problem 2413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 41 36 37 35 42 35 35

N.S.

1 1.04 0.87 0.77 0.79 0.74 0.89 0.74 0.74

time (sec)

N/A 0.202 0.026 3.747 0.196 0.260 0.270 0.298 0.075

Problem 2414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 43 36 37 35 42 35 35

N.S.

1 1.04 0.91 0.77 0.79 0.74 0.89 0.74 0.74

time (sec)

N/A 0.196 0.022 3.540 0.197 0.410 0.191 0.280 0.048

Problem 2415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 47 41 33 37 32 39 32 32

N.S.

1 1.12 0.98 0.79 0.88 0.76 0.93 0.76 0.76

time (sec)

N/A 0.196 0.018 6.029 0.192 0.286 0.130 0.269 0.048

Problem 2416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 45 36 31 30 33 36 31 33

N.S.

1 1.25 1.00 0.86 0.83 0.92 1.00 0.86 0.92

time (sec)

N/A 0.192 0.024 6.073 0.198 0.265 0.088 0.263 0.040

Problem 2417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 47 40 34 33 39 36 37 37

N.S.

1 1.21 1.03 0.87 0.85 1.00 0.92 0.95 0.95

time (sec)

N/A 0.191 0.042 5.998 0.196 0.257 0.197 0.260 0.041

Problem 2418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 49 41 36 47 35 41 35 35

N.S.

1 1.09 0.91 0.80 1.04 0.78 0.91 0.78 0.78

time (sec)

N/A 0.189 0.030 3.637 0.191 0.276 0.256 0.269 5.859

Problem 2419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 41 36 98 35 44 35 35

N.S.

1 1.04 0.87 0.77 2.09 0.74 0.94 0.74 0.74

time (sec)

N/A 0.186 0.030 6.023 0.194 0.252 0.336 0.260 5.900

Problem 2420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 41 36 149 35 44 35 35

N.S.

1 1.04 0.87 0.77 3.17 0.74 0.94 0.74 0.74

time (sec)

N/A 0.186 0.031 3.641 0.214 0.266 0.448 0.259 0.039

Problem 2421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 140 126 110 122 111 143 111 108

N.S.

1 1.03 0.93 0.81 0.90 0.82 1.05 0.82 0.79

time (sec)

N/A 0.274 0.111 6.168 0.201 0.248 0.542 0.265 0.065

Problem 2422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 97 88 78 88 77 100 78 76

N.S.

1 1.03 0.94 0.83 0.94 0.82 1.06 0.83 0.81

time (sec)

N/A 0.231 0.045 3.696 0.215 0.252 0.286 0.277 0.036

Problem 2423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 54 51 44 54 43 58 45 42

N.S.

1 0.90 0.85 0.73 0.90 0.72 0.97 0.75 0.70

time (sec)

N/A 0.202 0.030 6.030 0.201 0.262 0.171 0.257 0.041

Problem 2424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 20 13 20 14 13

N.S.

1 1.00 1.00 0.93 1.33 0.87 1.33 0.93 0.87

time (sec)

N/A 0.153 0.017 6.045 0.198 0.257 0.220 0.261 0.035

Problem 2425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 56 48 44 44 47 73 49 41

N.S.

1 1.10 0.94 0.86 0.86 0.92 1.43 0.96 0.80

time (sec)

N/A 0.205 0.088 6.275 0.199 0.280 0.423 0.274 6.034

Problem 2426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 100 84 78 95 85 116 81 71

N.S.

1 1.08 0.90 0.84 1.02 0.91 1.25 0.87 0.76

time (sec)

N/A 0.233 0.096 3.552 0.213 0.278 0.860 0.255 0.083

Problem 2427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 142 121 109 146 118 158 113 105

N.S.

1 1.06 0.90 0.81 1.09 0.88 1.18 0.84 0.78

time (sec)

N/A 0.268 0.123 6.083 0.208 0.291 1.677 0.268 0.071

Problem 2428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 186 158 144 197 151 201 147 138

N.S.

1 1.04 0.88 0.80 1.10 0.84 1.12 0.82 0.77

time (sec)

N/A 0.303 0.189 3.750 0.225 0.273 3.092 0.279 0.081

Problem 2429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 155 158 127 145 169 367 133 132

N.S.

1 1.03 1.05 0.85 0.97 1.13 2.45 0.89 0.88

time (sec)

N/A 0.327 0.109 3.878 0.215 0.261 0.932 0.267 0.082

Problem 2430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 116 121 95 112 137 277 100 99

N.S.

1 1.03 1.07 0.84 0.99 1.21 2.45 0.88 0.88

time (sec)

N/A 0.275 0.080 3.894 0.199 0.272 0.450 0.270 6.023

Problem 2431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 72 80 62 76 100 165 65 65

N.S.

1 0.94 1.04 0.81 0.99 1.30 2.14 0.84 0.84

time (sec)

N/A 0.222 0.060 3.856 0.204 0.261 0.242 0.281 0.038

Problem 2432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 29 30 34 56 99 30 29

N.S.

1 1.00 0.88 0.91 1.03 1.70 3.00 0.91 0.88

time (sec)

N/A 0.186 0.039 3.742 0.220 0.272 0.355 0.280 0.047

Problem 2433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 58 51 47 44 98 211 51 49

N.S.

1 1.12 0.98 0.90 0.85 1.88 4.06 0.98 0.94

time (sec)

N/A 0.204 0.135 12.914 0.195 0.275 0.785 0.273 0.078

Problem 2434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 104 95 84 95 148 340 90 81

N.S.

1 1.07 0.98 0.87 0.98 1.53 3.51 0.93 0.84

time (sec)

N/A 0.245 0.135 13.016 0.213 0.269 1.980 0.263 5.958

Problem 2435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 143 132 116 146 179 440 123 115

N.S.

1 1.08 0.99 0.87 1.10 1.35 3.31 0.92 0.86

time (sec)

N/A 0.285 0.261 6.033 0.202 0.288 4.472 0.271 5.954

Problem 2436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 190 169 150 197 214 541 156 147

N.S.

1 1.04 0.92 0.82 1.08 1.17 2.96 0.85 0.80

time (sec)

N/A 0.344 0.234 6.030 0.208 0.284 8.403 0.294 0.109

Problem 2437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 177 171 145 167 225 624 145 154

N.S.

1 1.04 1.00 0.85 0.98 1.32 3.65 0.85 0.90

time (sec)

N/A 0.348 0.163 3.712 0.242 0.294 1.181 0.257 5.902

Problem 2438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 138 134 112 134 192 493 112 120

N.S.

1 1.03 1.00 0.84 1.00 1.43 3.68 0.84 0.90

time (sec)

N/A 0.292 0.127 3.685 0.208 0.277 0.545 0.279 0.058

Problem 2439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 95 97 79 101 159 362 79 87

N.S.

1 0.95 0.97 0.79 1.01 1.59 3.62 0.79 0.87

time (sec)

N/A 0.247 0.105 6.106 0.208 0.273 0.324 0.275 5.880

Problem 2440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 55 47 49 57 113 240 44 53

N.S.

1 1.02 0.87 0.91 1.06 2.09 4.44 0.81 0.98

time (sec)

N/A 0.201 0.063 3.659 0.216 0.288 0.575 0.270 5.783

Problem 2441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 61 51 49 46 129 406 49 54

N.S.

1 1.09 0.91 0.88 0.82 2.30 7.25 0.88 0.96

time (sec)

N/A 0.207 0.092 3.744 0.204 0.306 1.500 0.286 5.846

Problem 2442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 111 93 90 95 191 561 90 89

N.S.

1 1.08 0.90 0.87 0.92 1.85 5.45 0.87 0.86

time (sec)

N/A 0.254 0.207 3.657 0.198 0.290 3.558 0.269 0.106

Problem 2443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 154 130 123 146 230 707 123 125

N.S.

1 1.05 0.89 0.84 1.00 1.58 4.84 0.84 0.86

time (sec)

N/A 0.297 0.190 5.890 0.210 0.284 7.516 0.269 5.926

Problem 2444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 193 167 156 197 263 848 156 159

N.S.

1 1.05 0.91 0.85 1.08 1.44 4.63 0.85 0.87

time (sec)

N/A 0.356 0.317 5.996 0.209 0.286 15.498 0.273 5.853

Problem 2445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 40 35 28 40 27 34 28 27

N.S.

1 0.91 0.80 0.64 0.91 0.61 0.77 0.64 0.61

time (sec)

N/A 0.192 0.024 3.667 0.201 0.259 0.065 0.262 0.039

Problem 2446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 10 9 0 31 9 9

N.S.

1 1.00 1.00 0.67 0.60 0.00 2.07 0.60 0.60

time (sec)

N/A 0.141 0.040 6.242 0.195 0.000 0.273 0.281 6.242

Problem 2447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 14 13 0 0 13 13

N.S.

1 1.00 1.00 0.67 0.62 0.00 0.00 0.62 0.62

time (sec)

N/A 0.148 0.062 3.698 0.198 0.000 0.000 0.285 6.551

Problem 2448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 43 30 42 29 41 29 29

N.S.

1 1.00 0.96 0.67 0.93 0.64 0.91 0.64 0.64

time (sec)

N/A 0.172 0.025 3.781 0.202 0.276 22.454 0.274 0.024

Problem 2449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 10 9 0 12 9 9

N.S.

1 1.00 1.00 0.67 0.60 0.00 0.80 0.60 0.60

time (sec)

N/A 0.145 0.035 3.889 0.206 0.000 0.155 0.283 5.931

Problem 2450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F(-1) B F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

18 18 31 0 14 0 78 0 38

N.S.

1 1.00 1.72 0.00 0.78 0.00 4.33 0.00 2.11

time (sec)

N/A 0.146 6.850 0.000 0.210 0.000 3.403 0.000 5.790

Problem 2451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 21 19 28 51 29 20

N.S.

1 1.00 1.00 1.00 0.90 1.33 2.43 1.38 0.95

time (sec)

N/A 0.164 0.039 0.026 0.205 0.297 0.140 0.265 5.747

Problem 2452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 21 19 28 51 29 20

N.S.

1 1.00 1.00 1.00 0.90 1.33 2.43 1.38 0.95

time (sec)

N/A 0.163 0.036 0.023 0.208 0.330 0.122 0.276 5.705

Problem 2453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 21 19 28 51 29 20

N.S.

1 1.00 1.00 1.00 0.90 1.33 2.43 1.38 0.95

time (sec)

N/A 0.160 0.030 0.020 0.218 0.476 0.108 0.262 5.737

Problem 2454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 16 16 20 17 16 15

N.S.

1 1.00 1.00 1.00 1.00 1.25 1.06 1.00 0.94

time (sec)

N/A 0.152 0.006 0.015 0.230 0.330 0.017 0.264 5.625

Problem 2455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 18 14 18 15 17 0 13

N.S.

1 1.00 1.38 1.08 1.38 1.15 1.31 0.00 1.00

time (sec)

N/A 0.159 0.020 0.025 0.206 0.300 0.080 0.000 5.581

Problem 2456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 21 0 23 32 0 20

N.S.

1 1.00 1.00 0.95 0.00 1.05 1.45 0.00 0.91

time (sec)

N/A 0.167 0.027 0.021 0.000 0.272 0.167 0.000 5.587

Problem 2457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 20 21 0 23 60 0 20

N.S.

1 1.00 0.83 0.88 0.00 0.96 2.50 0.00 0.83

time (sec)

N/A 0.165 0.038 0.023 0.000 0.286 0.208 0.000 5.547

Problem 2458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 38 43 40 74 202 88 43

N.S.

1 1.00 0.86 0.98 0.91 1.68 4.59 2.00 0.98

time (sec)

N/A 0.186 0.070 3.709 0.217 0.306 0.303 0.270 5.861

Problem 2459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 44 41 78 211 91 43

N.S.

1 1.00 0.93 1.02 0.95 1.81 4.91 2.12 1.00

time (sec)

N/A 0.186 0.066 3.703 0.203 0.286 0.403 0.279 5.838

Problem 2460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 37 43 40 72 201 87 43

N.S.

1 1.00 0.84 0.98 0.91 1.64 4.57 1.98 0.98

time (sec)

N/A 0.181 0.050 6.073 0.200 0.274 0.235 0.268 5.734

Problem 2461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 34 37 38 65 182 73 36

N.S.

1 1.00 0.89 0.97 1.00 1.71 4.79 1.92 0.95

time (sec)

N/A 0.178 0.078 6.013 0.197 0.263 0.231 0.278 5.770

Problem 2462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 31 34 30 36 0 30

N.S.

1 1.00 1.00 0.97 1.06 0.94 1.12 0.00 0.94

time (sec)

N/A 0.176 0.035 3.684 0.209 0.279 0.099 0.000 5.730

Problem 2463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 38 43 0 68 190 0 43

N.S.

1 1.00 0.86 0.98 0.00 1.55 4.32 0.00 0.98

time (sec)

N/A 0.192 0.070 3.615 0.000 0.282 0.243 0.000 5.668

Problem 2464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 39 42 0 66 245 0 43

N.S.

1 1.00 0.78 0.84 0.00 1.32 4.90 0.00 0.86

time (sec)

N/A 0.190 0.069 3.772 0.000 0.281 0.237 0.000 5.794

Problem 2465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 58 65 61 145 507 188 66

N.S.

1 1.00 0.89 1.00 0.94 2.23 7.80 2.89 1.02

time (sec)

N/A 0.207 0.084 3.696 0.211 0.304 1.023 0.275 6.020

Problem 2466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 57 66 62 144 500 188 66

N.S.

1 1.00 0.86 1.00 0.94 2.18 7.58 2.85 1.00

time (sec)

N/A 0.205 0.074 3.839 0.200 0.286 0.582 0.290 5.848

Problem 2467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 58 65 61 145 500 188 66

N.S.

1 1.00 0.89 1.00 0.94 2.23 7.69 2.89 1.02

time (sec)

N/A 0.203 0.061 3.870 0.214 0.271 0.424 0.279 5.743

Problem 2468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 54 58 60 130 469 159 57

N.S.

1 1.00 0.90 0.97 1.00 2.17 7.82 2.65 0.95

time (sec)

N/A 0.198 0.076 3.548 0.209 0.280 0.308 0.277 5.671

Problem 2469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 47 46 44 48 44 53 0 46

N.S.

1 0.94 0.92 0.88 0.96 0.88 1.06 0.00 0.92

time (sec)

N/A 0.180 0.045 3.691 0.219 0.295 0.114 0.000 5.729

Problem 2470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 58 65 0 131 508 0 66

N.S.

1 1.00 0.88 0.98 0.00 1.98 7.70 0.00 1.00

time (sec)

N/A 0.215 0.086 3.673 0.000 0.271 0.333 0.000 5.628

Problem 2471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 60 65 0 134 627 0 66

N.S.

1 1.00 0.83 0.90 0.00 1.86 8.71 0.00 0.92

time (sec)

N/A 0.212 0.088 3.574 0.000 0.273 0.391 0.000 5.727

Problem 2472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

33 33 33 0 0 0 48 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 1.45 0.00 0.00

time (sec)

N/A 0.161 0.022 0.000 0.000 0.000 0.451 0.000 0.000

Problem 2473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

24 24 24 0 0 0 44 0 25

N.S.

1 1.00 1.00 0.00 0.00 0.00 1.83 0.00 1.04

time (sec)

N/A 0.150 0.017 0.000 0.000 0.000 0.418 0.000 5.729

Problem 2474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 26 25 23 28 22 41 0 22

N.S.

1 1.13 1.09 1.00 1.22 0.96 1.78 0.00 0.96

time (sec)

N/A 0.158 0.041 3.598 0.223 0.274 0.306 0.000 5.596

Problem 2475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

34 34 31 0 0 0 49 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 1.44 0.00 0.00

time (sec)

N/A 0.159 0.030 0.000 0.000 0.000 0.473 0.000 0.000

Problem 2476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

36 36 33 0 0 0 54 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 1.50 0.00 0.00

time (sec)

N/A 0.157 0.030 0.000 0.000 0.000 0.525 0.000 0.000

Problem 2477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

33 33 33 0 0 0 335 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 10.15 0.00 0.00

time (sec)

N/A 0.150 0.022 0.000 0.000 0.000 0.639 0.000 0.000

Problem 2478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

24 24 24 0 0 0 318 0 25

N.S.

1 1.00 1.00 0.00 0.00 0.00 13.25 0.00 1.04

time (sec)

N/A 0.145 0.017 0.000 0.000 0.000 0.599 0.000 5.685

Problem 2479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 44 40 43 50 160 0 39

N.S.

1 1.00 1.13 1.03 1.10 1.28 4.10 0.00 1.00

time (sec)

N/A 0.189 0.056 3.665 0.203 0.277 0.624 0.000 5.589

Problem 2480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

34 34 31 0 0 0 367 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 10.79 0.00 0.00

time (sec)

N/A 0.167 0.033 0.000 0.000 0.000 0.768 0.000 0.000

Problem 2481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

36 36 33 0 0 0 400 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 11.11 0.00 0.00

time (sec)

N/A 0.162 0.032 0.000 0.000 0.000 0.886 0.000 0.000

Problem 2482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

33 33 33 0 0 0 1210 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 36.67 0.00 0.00

time (sec)

N/A 0.154 0.021 0.000 0.000 0.000 0.880 0.000 0.000

Problem 2483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

24 24 24 0 0 0 1226 0 25

N.S.

1 1.00 1.00 0.00 0.00 0.00 51.08 0.00 1.04

time (sec)

N/A 0.149 0.018 0.000 0.000 0.000 0.860 0.000 5.701

Problem 2484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 55 48 53 71 106 415 0 69

N.S.

1 0.95 0.83 0.91 1.22 1.83 7.16 0.00 1.19

time (sec)

N/A 0.203 0.104 3.757 0.225 0.303 1.091 0.000 5.599

Problem 2485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

34 34 31 0 0 0 1435 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 42.21 0.00 0.00

time (sec)

N/A 0.155 0.035 0.000 0.000 0.000 1.156 0.000 0.000

Problem 2486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

36 36 33 0 0 0 1479 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 41.08 0.00 0.00

time (sec)

N/A 0.156 0.033 0.000 0.000 0.000 1.356 0.000 0.000

Problem 2487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 57 57 0 0 0 51 0 0

N.S.

1 1.19 1.19 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.174 0.038 0.000 0.000 0.000 0.678 0.000 0.000

Problem 2488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 48 48 0 0 0 49 0 43

N.S.

1 1.23 1.23 0.00 0.00 0.00 1.26 0.00 1.10

time (sec)

N/A 0.163 0.023 0.000 0.000 0.000 0.608 0.000 5.836

Problem 2489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 43 42 36 54 91 76 0 0

N.S.

1 0.96 0.93 0.80 1.20 2.02 1.69 0.00 0.00

time (sec)

N/A 0.174 0.057 3.843 0.298 0.305 0.902 0.000 0.000

Problem 2490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 58 55 0 0 0 53 0 0

N.S.

1 1.18 1.12 0.00 0.00 0.00 1.08 0.00 0.00

time (sec)

N/A 0.182 0.040 0.000 0.000 0.000 0.653 0.000 0.000

Problem 2491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 60 57 0 0 0 54 0 0

N.S.

1 1.18 1.12 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.184 0.042 0.000 0.000 0.000 0.765 0.000 0.000

Problem 2492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 58 58 0 0 0 51 0 0

N.S.

1 1.21 1.21 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.179 0.032 0.000 0.000 0.000 1.132 0.000 0.000

Problem 2493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 49 49 0 0 0 49 0 43

N.S.

1 1.26 1.26 0.00 0.00 0.00 1.26 0.00 1.10

time (sec)

N/A 0.168 0.025 0.000 0.000 0.000 0.924 0.000 5.609

Problem 2494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 61 55 48 67 114 87 0 0

N.S.

1 0.95 0.86 0.75 1.05 1.78 1.36 0.00 0.00

time (sec)

N/A 0.179 0.077 3.812 0.283 0.452 1.563 0.000 0.000

Problem 2495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 59 56 0 0 0 53 0 0

N.S.

1 1.20 1.14 0.00 0.00 0.00 1.08 0.00 0.00

time (sec)

N/A 0.186 0.045 0.000 0.000 0.000 0.930 0.000 0.000

Problem 2496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 61 58 0 0 0 54 0 0

N.S.

1 1.20 1.14 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.185 0.046 0.000 0.000 0.000 0.935 0.000 0.000

Problem 2497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 60 60 0 0 0 51 0 0

N.S.

1 1.25 1.25 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.179 0.033 0.000 0.000 0.000 3.069 0.000 0.000

Problem 2498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 51 51 0 0 0 49 0 43

N.S.

1 1.31 1.31 0.00 0.00 0.00 1.26 0.00 1.10

time (sec)

N/A 0.170 0.025 0.000 0.000 0.000 2.332 0.000 5.842

Problem 2499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 79 69 62 83 144 117 0 0

N.S.

1 0.93 0.81 0.73 0.98 1.69 1.38 0.00 0.00

time (sec)

N/A 0.188 0.096 3.738 0.301 0.286 3.804 0.000 0.000

Problem 2500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 61 58 0 0 0 53 0 0

N.S.

1 1.24 1.18 0.00 0.00 0.00 1.08 0.00 0.00

time (sec)

N/A 0.180 0.047 0.000 0.000 0.000 2.188 0.000 0.000

[next] [prev] [prev-tail] [front] [up]